Linux 内核藏 92 个漏洞！UIUC 用大模型合成检查器，潜伏 4 年被揪出
第一种是传统静态分析，安全专家根据已知漏洞模式编写规则，工具再按规则扫描代码。这种方法准确度高，但规则更新慢，难以应对新型漏洞。
检查器
让大模型合成检查器：UIUC团队挖出Linux内核90余个长期潜伏漏洞
这篇论文的作者来自伊利诺伊大学香槟分校（UIUC）张令明老师团队，包括：杨晨源，四年级博士生，研究方向是基于 AI 大模型的软件系统可靠性保障；赵子杰，四年级博士生，研究方向是模糊测试等软件工程技术与 AI 大模型的结合；谢子晨，科研实习生，目前为弗吉尼亚大学
Python 潮流周刊Python 类型检查器对比
本周刊由 Python猫 出品，精心筛选国内外的 400+ 信息源，为你挑选最值得分享的文章、教程、开源项目、软件工具、播客和视频、热门话题等内容。愿景：帮助所有读者精进 Python 技术，并增长职业和副业的收入。